Cervesato, Iliano: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Formal analysis of Kerberos 5

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 586 KB

english, 2006

2

[ACM Press the 2017 ACM - Abu Dhabi, United Arab Emirates (2017.04.02-2017.04.06)] Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security - ASIA CCS '17 - On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters

Singh, Baljit, Evtyushkin, Dmitry, Elwell, Jesse, Riley, Ryan, Cervesato, Iliano

Year:

2017

Language:

english

File:

PDF, 2.04 MB

english, 2017

3

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 491 KB

english, 2007

4

A Linear Logical Framework

Iliano Cervesato, Frank Pfenning

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 382 KB

english, 2002

5

Cryptographically sound security proofs for basic and public-key Kerberos

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay

Journal:

International Journal of Information Security

Year:

2011

Language:

english

File:

PDF, 2.38 MB

english, 2011

6

NEXCEL, a deductive spreadsheet

CERVESATO, ILIANO

Journal:

The Knowledge Engineering Review

Year:

2007

Language:

english

File:

PDF, 263 KB

english, 2007

7

Preface – Special Issue on Logical Frameworks and Meta-Languages 2015

CERVESATO, ILIANO, CHAUDHURI, KAUSTUV

Journal:

Mathematical Structures in Computer Science

Year:

2018

File:

PDF, 43 KB

2018

8

A general modal framework for the event calculus and its skeptical and credulous variants

Iliano Cervesato, Angelo Montanari

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 3.67 MB

english, 1999

9

[ACM Press the 16th annual joint conference - Darmstadt, Germany (2011.06.27-2011.06.29)] Proceedings of the 16th annual joint conference on Innovation and technology in computer science education - ITiCSE '11 - Discovering logic through comics

Cervesato, Iliano

Year:

2011

Language:

english

File:

PDF, 1.41 MB

english, 2011

10

A Guided Tour through some Extensions of the Event Calculus

Iliano Cervesato, Massimo Franceschet, Angelo Montanari

Journal:

Computational Intelligence

Year:

2000

Language:

english

File:

PDF, 395 KB

english, 2000

11

[Lecture Notes in Computer Science] Advances in Computer Science – ASIAN 2007. Computer and Network Security Volume 4846 || Digital Rights Management Using a Master Control Device

Cervesato, Iliano

Year:

2007

Language:

english

File:

PDF, 360 KB

english, 2007

12

A comparison between strand spaces and multiset rewriting for security protocol analysis

Cervesato, Iliano, Durgin, Nancy A., Lincoln, Patrick D., Mitchell, John C., Scedrov, Andre

Journal:

Journal of Computer Security

Year:

2005

Language:

english

File:

PDF, 540 KB

english, 2005

13

Relating state-based and process-based concurrency through linear logic (full-version)

Iliano Cervesato, Andre Scedrov

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 744 KB

english, 2009

14

Typed Multiset Rewriting Specifications of Security Protocols

Iliano Cervesato

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 347 KB

english, 2001

15

[Lecture Notes in Computer Science] Advances in Computer Science – ASIAN 2007. Computer and Network Security Volume 4846 || Browser Based Agile E-Voting System

Cervesato, Iliano

Year:

2007

Language:

english

File:

PDF, 418 KB

english, 2007

16

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 432 KB

english, 2005

17

Relating State-Based and Process-Based Concurrency through Linear Logic

Iliano Cervesato, Andre Scedrov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 579 KB

english, 2006

18

A comparison between strand spaces and multiset rewriting for security protocol analysis

Cervesato, Iliano, Durgin, Nancy A., Lincoln, Patrick D., Mitchell, John C., Scedrov, Andre

Journal:

Journal of Computer Security

Year:

2005

File:

PDF, 540 KB

2005

19

[ACM Press the seventh international workshop - Copenhagen, Denmark (2012.09.09-2012.09.09)] Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice - LFMTP '12 - Trace matching in a concurrent logical framework

Cervesato, Iliano, Pfenning, Frank, Sacchini, Jorge Luis, Schürmann, Carsten, Simmons, Robert J.

Year:

2012

Language:

english

File:

PDF, 638 KB

english, 2012

20

Relating multiset rewriting and process algebras for security protocol analysis

Bistarelli, Stefano, Cervesato, Iliano, Lenzini, Gabriele, Martinelli, Fabio, Gorrieri, Roberto

Journal:

Journal of Computer Security

Year:

2005

Language:

english

File:

PDF, 410 KB

english, 2005

21

Breaking and fixing public-key Kerberos

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 1.02 MB

english, 2008

22

Preface to the Special Issue on Linearity

Cervesato, Iliano, Fernández, Maribel

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 156 KB

english, 2019

23

Efficient resource management for linear logic proof search

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 212 KB

english, 2000

24

[Lecture Notes in Computer Science] Advances in Computer Science – ASIAN 2007. Computer and Network Security Volume 4846 || Scalable DRM System for Media Portability

Cervesato, Iliano

Year:

2007

Language:

english

File:

PDF, 191 KB

english, 2007

25

[Cognitive Technologies] The Deductive Spreadsheet ||

Cervesato, Iliano

Year:

2013

Language:

english

File:

PDF, 9.56 MB

english, 2013

26

Relating reasoning methodologies in linear logic and process algebra

DENG, YUXIN, SIMMONS, ROBERT J., CERVESATO, ILIANO

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

27

[ACM Press the 2014 International Workshop - Vienna, Austria (2014.07.17-2014.07.17)] Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP '14 - Proof-Theoretic Foundations of Indexing in Logic Programming

Cervesato, Iliano

Year:

2014

Language:

english

File:

PDF, 357 KB

english, 2014

28

[IEEE 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Abu Dhabi, United Arab Emirates (2015.10.19-2015.10.21)] 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Programmable orchestration of time-synchronized events across decentralized Android ensembles

Lam, Edmund S. L., Cervesato, Iliano, Elgazar, Ali

Year:

2015

Language:

english

File:

PDF, 721 KB

english, 2015

29

An Improved Proof-Theoretic Compilation of Logic Programs

CERVESATO, ILIANO

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

30

Preface to special issue: LINEARITY 2014

ALVES, SANDRA, CERVESATO, ILIANO

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 52 KB

english, 2018

31

Specifying Properties of Concurrent Computations in CLF

Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 344 KB

english, 2008

32

Preface to the special issue of selected papers from FCS/VERIFY 2002

Serge Autexier, Iliano Cervesato, Heiko Mantel

Journal:

International Journal of Information Security

Year:

2005

Language:

english

File:

PDF, 48 KB

english, 2005

33

[ACM Press the 14th symposium - Leuven, Belgium (2012.09.19-2012.09.21)] Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 - Modeling datalog fact assertion and retraction in linear logic

Lam, Edmund Soon Lee, Cervesato, Iliano

Year:

2012

Language:

english

File:

PDF, 524 KB

english, 2012

34

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - Decentralized execution of constraint handling rules for ensembles

Lam, Edmund S. L., Cervesato, Iliano

Year:

2013

Language:

english

File:

PDF, 250 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски